Modus ponens and modus tollens in discrete implications
نویسندگان
چکیده
منابع مشابه
On the joint verification of Modus Ponens and Modus Tollens in fuzzy logic
This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...
متن کاملNaive Modus Ponens
In his [2011], Lionel Shapiro proposes a very interesting deflationist conception of logical consequence, according to which the logical-consequence predicate applying to sentences serves as a merely expressive device allowing us to talk in a generalising way about typically non-linguistic entailment facts (just as, according to a deflationist conception of truth, the truth predicate applying t...
متن کاملModus Tollens Probabilized
We establish a probabilized version of modus tollens, deriving from p(E jH)1⁄4 a and p( E)1⁄4 b the best possible bounds on p( H). In particular, we show that p( H)! 1 as a, b ! 1, and also as a, b ! 0.
متن کاملA Counterexample to Modus Tollens
This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with knows, and we call into question the thesis that all knowledge ascriptions have truthconditions. A probabilistic dynamic s...
متن کاملInstability, Modus Ponens and Uncertainty of Deduction
Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validness of reasoning sequence in the real physical world, and from similar cause cannot gain similar result. Some kind of stability hypothesis should be added in order to draw meaningful conclusion. So the uncertainty of deductive inference appears the same as tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2008
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2008.04.002